$\forall$$k$:Knd. isrcv($k$) $\Rightarrow$ lnk($k$) $\in$ IdLnk